// JVM_TARGET: 17
public record Rectangle(double length, double width) {
    public Rectangle() {
        this(42,42);
    }
}